public class Test {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		// Ces prémisses et cette conclusion modélisent le raisonnement suivant :
		// - les bébés sont illogiques : ∀(x), bebe(x) -> illogique(x)
		// - nul n'est méprisé quand il peut venir à bout d'un crocodile	: ∀(x), crocodile(x) -> ¬meprise(x)
		// - les gens illogiques sont méprisés : ∀(x), illogique(x) -> meprise(x)
		// 
		// - donc : les bébés ne peuvent venir à bout des crocodiles :  ∀(x), bebe(x) -> ¬crocodile(x)
		Formule premisses = new Et(new PourTout(new Variable("x"), new Implique(new Atome("bebe", new Variable("x")), new Atome("illogique",
				new Variable("x")))), new Et(new PourTout(new Variable("x"), new Implique(new Atome("crocodile", new Variable("x")), new Non(
				new Atome("meprise", new Variable("x"))))), new PourTout(new Variable("x"), new Implique(new Atome("illogique", new Variable("x")),
				new Atome("meprise", new Variable("x"))))));
		
		System.out.println(premisses);
		
		Formule conclusion = new PourTout(new Variable("x"), new Implique(new Atome("bebe", new Variable("x")), new Non(new Atome("crocodile",
				new Variable("x")))));

	}

}
